it happened that... - German English Dictionary